Constructible number

Results: 311



#Item
151Constructible universe / Definable real number / Model theory / Structure / Universal algebra

Decidability of Definability Manuel Bodirsky ´ CNRS / LIX, Ecole Polytechnique Joint work with Michael Pinsker and Todor Tsankov

Add to Reading List

Source URL: www.fields.utoronto.ca

Language: English - Date: 2011-10-17 13:03:59
152Ordinal number / Dirac delta function / Numerical integration / Linear temporal logic / Mathematical analysis / Fourier analysis / Constructible universe

Cubature formulas of S.L. Sobolev: evolution of the theory and applications M.D. Ramazanov [removed]. D.Y. Rakhmatullin [removed]

Add to Reading List

Source URL: matem.anrb.ru

Language: English - Date: 2011-03-22 12:24:29
153Probability theory / Algebraic number theory / Surreal number / Transcendental number / Mathematics / Constructible universe / Order theory

USA Mathematical Talent Search Round 1 Solutions Year 26 — Academic Year 2014–2015 www.usamts.org[removed]Divide the grid shown to the right into more than one

Add to Reading List

Source URL: www.usamts.org

Language: English - Date: 2014-11-09 23:33:44
154Normal distribution / Standard deviation / Vysochanskiï–Petunin inequality / Estimation theory / Pesticide / Unimodality / Ordinal number / Constructible universe / Statistics / Summary statistics / Data analysis

Choosing the Right Formula (Estimation) Example: Field sprayed with pesticide • Ferris Field is almost rectangular, roughly 200 x 150 yds (270,000 square feet, about 6 acres or roughly 20 houses).

Add to Reading List

Source URL: www.epa.gov

Language: English - Date: 2014-11-07 17:19:23
155Copy protection / Copyright / Free software / Ordinal number / Constructible universe / Law / Software licenses / Data / Information

Copying and software pricing Claude Crampes∗ and Jean-Jacques Laffont** June 2002

Add to Reading List

Source URL: www.card.iastate.edu

Language: English - Date: 2003-10-22 15:39:06
156Combinatorics / Integer sequences / Trigonometric functions / Constructible universe / Sine / Factorial / Ordinal number / Z3 / Mathematics / Trigonometry / Number theory

USA Mathematical Talent Search Round 2 Solutions Year 20 — Academic Year 2008–2009 www.usamts.org[removed]Sarah and Joe play a standard 3-by-3 game of tic-tac-toe. Sarah goes first and plays X, and Joe goes second an

Add to Reading List

Source URL: www.usamts.org

Language: English - Date: 2010-09-20 13:54:57
157Confidence interval / Normal distribution / Support / Constructible universe / Statistics / Econometrics / Regression analysis

APPLIED/COMPUTATIONAL Ph.D. EXAM August 2009 INSTRUCTIONS FOR STUDENTS: 1. DO NOT put your NAME on the exam. Place the NUMBER assigned to you on the UPPER LEFT HAND CORNER of EACH PAGE of your solutions. 2. Please start

Add to Reading List

Source URL: www.stat.tamu.edu

Language: English - Date: 2010-02-16 12:47:16
158Fourier transform / Joseph Fourier / Constructible universe / Number theory / Auxiliary function / Mathematical analysis / Fourier analysis / Mathematics

On Arithmetic Structures in Dense Sets of Integers1 Ben Green2 Abstract We prove that if A ⊆ {1, . . . , N } has density at least (log log N )−c , where c is an absolute constant, then A contains a triple (a, a + d,

Add to Reading List

Source URL: people.maths.ox.ac.uk

Language: English - Date: 2013-08-05 12:58:14
159Formal methods / Logic in computer science / Linear algebra / Formal verification / Forcing / Correctness / Constructible universe / Ordinal number / Vector space / Mathematics / Algebra / Theoretical computer science

Experiences in Applying Formal Verification in Robotics? Dennis Walter, Holger Täubig, and Christoph Lüth Deutsches Forschungszentrum für Künstliche Intelligenz Bremen, Germany {Dennis.Walter,Holger.Taeubig,Christoph

Add to Reading List

Source URL: www.informatik.uni-bremen.de

Language: English - Date: 2010-08-13 06:19:51
160Sunshine Records / Continued fraction / Mathematical analysis / Constructible universe

Two slightly tricky statements about continued fractions Let α be a real number, and let [a0 , a1 , a2 , . . . ] be its continued fraction expansion. Write pqkk for the convergents. To avoid annoyances, I’ll assume th

Add to Reading List

Source URL: people.maths.ox.ac.uk

Language: English - Date: 2013-08-05 12:58:15
UPDATE